package tr.edu.ege.kipler.satisfiability.container;

/**
 * 
 * @author İnanç Seylan
 *
 */
public enum ConceptCategory {
	ATOMIC, INTERSECTION, UNION, SOME, ALL, AT_MOST, AT_LEAST, NOMINAL
}
